The jEdit splash screen is currently 'always on top'. Sometimes, it takes jEdit a
lot of time to start, and during this time the splash screen hides a large portion
of the screen and prevents me from working with other applications.
I know I can get rid of the splash screen, but I am interested in it, and in being
able to check the startup progress.
Submitted | shlomy - 2012-09-11 - 08:28:17z | Assigned | shlomy |
---|---|---|---|
Priority | 5 | Category | None |
Status | Open | Group | None |
Resolution | None | Visibility | No |
2012-12-27 - 16:00:52z kerik-sf |
here is a patch to use java6 native splash screen. For me, it goes to background. Is it better ? |
---|
2012-12-27 - 15:59:38z kerik-sf |
nativesplash.png same splash screen but with space below for progress message |
---|---|
2012-12-27 - 16:00:12z kerik-sf |
0001-use-native-java6-splash-screen.patch patch hacked from git format-patch |